Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.Sp. Issue 1 din 2014  
         
  Articol:   TYPE INFERENCE FOR CORE ERLANG TO SUPPORT TEST DATA GENERATION.

Autori:  TAMÁS KOZSIK, MELINDA TÓTH. 		 
       
         
  Rezumat:   Success typing is a well known technique to calculate the type of Erlang functions. Although success typing is commonly used fordocumentation and discrepancy analysis purposes, it results in an overapproximationof the real type. Therefore, when we want to generatearguments for a function call based on the success typing of a function,the function call may fail during execution. In this paper we introduce anew algorithm to calculate the type of Erlang functions to support accuratedata generation.

2010 Mathematics Subject Classi cation. 68N15.1998 CR Categories and Descriptors. D.3.1 [Programming Languages]: Formal De finitions and Theory - Semantics.

Key words and phrases. typing, Erlang, type-based data generation.This work has been supported by the European Union Framework 7 under contract no.288570 ParaPhrase: Parallel Patterns for Adaptive Heterogeneous Multicore Systems",http://paraphrase-enlarged.elte.hu
 
         
     
         
         
      Revenire la pagina precedentă